Group Communication Patterns for High Performance Computing in Scala

We developed a Functional object-oriented Parallel framework (FooPar) for high-level high-performance computing in Scala. Central to this framework are Distributed Memory Parallel Data structures (DPDs), i.e., collections of data distributed in a shared nothing system together with parallel operations on these data. In this paper, we first present FooPar's architecture and the idea of DPDs and group communications. Then, we show how DPDs can be implemented elegantly and efficiently in Scala based on the Traversable/Builder pattern, unifying Functional and Object-Oriented Programming. We prove the correctness and safety of one communication algorithm and show how specification testing (via ScalaCheck) can be used to bridge the gap between proof and implementation. Furthermore, we show that the group communication operations of FooPar outperform those of the MPJ Express open source MPI-bindings for Java, both asymptotically and empirically. FooPar has already been shown to be capable of achieving close-to-optimal performance for dense matrix-matrix multiplication via JNI. In this article, we present results on a parallel implementation of the Floyd-Warshall algorithm in FooPar, achieving more than 94 % efficiency compared to the serial version on a cluster using 100 cores for matrices of dimension 38000 x 38000

Automated Termination Proofs for Logic Programs by Term Rewriting

There are two kinds of approaches for termination analysis of logic programs: "transformational" and "direct" ones. Direct approaches prove termination directly on the basis of the logic program. Transformational approaches transform a logic program into a term rewrite system (TRS) and then analyze termination of the resulting TRS instead. Thus, transformational approaches make all methods previously developed for TRSs available for logic programs as well. However, the applicability of most existing transformations is quite restricted, as they can only be used for certain subclasses of logic programs. (Most of them are restricted to well-moded programs.) In this paper we improve these transformations such that they become applicable for any definite logic program. To simulate the behavior of logic programs by TRSs, we slightly modify the notion of rewriting by permitting infinite terms. We show that our transformation results in TRSs which are indeed suitable for automated termination analysis. In contrast to most other methods for termination of logic programs, our technique is also sound for logic programming without occur check, which is typically used in practice. We implemented our approach in the termination prover AProVE and successfully evaluated it on a large collection of examples.Comment: 49 page

CNApy: a CellNetAnalyzer GUI in Python for Analyzing and Designing Metabolic Networks

SUMMARY: Constraint-based reconstruction and analysis (COBRA) is a widely used modeling framework for analyzing and designing metabolic networks. Here, we present CNApy, an open-source cross-platform desktop application written in Python, which offers a state-of-the-art graphical front-end for the intuitive analysis of metabolic networks with COBRA methods. While the basic look-and-feel of CNApy is similar to the user interface of the MATLAB toolbox CellNetAnalyzer, it provides various enhanced features by using components of the powerful Qt library. CNApy supports a number of standard and advanced COBRA techniques and further functionalities can be easily embedded in its GUI facilitating modular extension in the future. AVAILABILITY AND IMPLEMENTATION: CNApy can be installed via conda and its source code is freely available at https://github.com/cnapy-org/CNApy under the Apache 2 license

Quantum dot micropillar cavities with quality factors exceeding 250,000

We acknowledge funding the BMBF within the projects QuaHL-Rep (16BQ1042) and Q.com-H project and by the State of Bavaria.We report on the spectroscopic investigation of quantum dot micropillar cavities with unprecedented quality factors. We observe a pronounced dependency of the quality factor on the measurement scheme and find that significantly larger quality factors can be extracted in photoreflectance compared to photoluminescence measurements. While the photoluminescence spectra of the microcavity resonances feature a Lorentzian lineshape and Q-factors up to 184,000 (±10,000), the reflectance spectra have a Fano-shaped asymmetry and feature significantly higher Q-factors in excess of 250,000 resulting from a full saturation of the embedded emitters. The very high quality factors in our cavities promote strong light-matter coupling with visibilities exceeding 0.5 for a single QD coupled to the cavity mode.PostprintPeer reviewe

Memristive operation mode of a site-controlled quantum dot floating gate transistor

The authors gratefully acknowledge financial support from the European Union (FPVII (2007-2013) under Grant Agreement No. 318287 Landauer) as well as the state of Bavaria.We have realized a floating gate transistor based on a GaAs/AlGaAs heterostructure with site-controlled InAs quantum dots. By short-circuiting the source contact with the lateral gates and performing closed voltage sweep cycles, we observe a memristive operation mode with pinched hysteresis loops and two clearly distinguishable conductive states. The conductance depends on the quantum dot charge which can be altered in a controllable manner by the voltage value and time interval spent in the charging region. The quantum dot memristor has the potential to realize artificial synapses in a state-of-the-art opto-electronic semiconductor platform by charge localization and Coulomb coupling.Publisher PDFPeer reviewe

Associative learning with Y-shaped floating gate transistors operated in memristive modes

The authors gratefully acknowledge financial support from the European Union (FPVII (2007-2013) under grant agreement n° 318287 Landauer) as well as the state of Bavaria.We present Y-shaped three-terminal floating gate transistors with positioned quantum dots (QDs) acting as floating gates. The QDs are precisely positioned in the input terminals and the localized charge controls the conductance of the transistors. Connecting two devices enables to implement associative learning by tuning the QD-charge with two input signals. The number of pulses to develop or to forget the association depends on the widths and amplitudes of the applied voltage pulses. The Y-shaped geometry of the presented device may be considered to implement synaptic functionalities without separating learning and signal transmission in time.PostprintPeer reviewe

Electro-photo-sensitive memristor for neuromorphic and arithmetic computing

The authors gratefully acknowledge financial support from the European Union [FPVII (2007-2013) under Grant Agreement No. 318287 Landauer], as well as the state of Bavaria.We present optically and electrically tunable conductance modifications of a site-controlled quantum-dot memristor. The conductance of the device is tuned by electron localization on a quantum dot. The control of the conductance with voltage and low-power light pulses enables applications in neuromorphic and arithmetic computing. As in neural networks, applying pre- and postsynaptic voltage pulses to the memristor allows us to increase (potentiation) or decrease (depression) the conductance by tuning the time difference between the electrical pulses. Exploiting state-dependent thresholds for potentiation and depression, we are able to demonstrate a memory-dependent induction of learning. The discharging of the quantum dot can further be induced by low-power light pulses in the nanowatt range. In combination with the state-dependent threshold voltage for discharging, this enables applications as generic building blocks to perform arithmetic operations in bases ranging from binary to decimal with low-power optical excitation. Our findings allow the realization of optoelectronic memristor-based synapses in artificial neural networks with a memory-dependent induction of learning and enhanced functionality by performing arithmetic operations.PostprintPeer reviewe

Two-photon interference from remote quantum dots with inhomogeneously broadened linewidths

This work was financially supported by the German Ministry of Education and Research (BMBF) via the project QuaHL-Rep and by the State of Bavaria.In this paper, we study the influence of quasiresonant and nonresonant excitation on the interference properties of single photons emitted from quantum dots (QDs). The quasiresonant excitation scheme leads to an increase of interference visibility of photons emitted from the same QD to 69% compared to 12% for nonresonant excitation. Furthermore, we demonstrate quantum interference of photons emitted from separate QDs which are simultaneously excited into their p shell. We can readily extract a two-photon interference visibility as high as (39 ± 2)% for nonpostselected coincidences exceeding the predicted value based on coherence and radiative decay times of the quantum dot emission (similar to 25%). We account for this observation by treating the emission of both quantum dots as inhomogeneously broadened ensembles of Fourier-limited photons and observe good congruence between experiment and model.Publisher PDFPeer reviewe